9.压缩映射定理与不动点收敛问题(4.3.9)
10.线性柯西方程(4.3.10)
11.拓宽定义域来证明一致连续性(4.4.2)
12.区间分割的一致连续性(4.4.5)
13.利普希茨条件下的一致连续性(4.4.9)
14.连续性的拓扑特征(4.4.11)
15.连续延拓定理(4.4.13)

函数极限与连续性

习题 4.2 函数极限

(a) 对 $\forall\ \varepsilon>0$，$\exists\ \delta=\displaystyle\frac{\varepsilon}{2}$，对 $\forall\ 0<|x-2|<\delta$，有 $|(2x+4)-8|<2\delta=\varepsilon$，所以 $\displaystyle\lim_{x\to 2}(2x+4)=8$．

(b) 对 $\forall\ \varepsilon>0$，$\exists\ \delta=\sqrt[3]{\varepsilon}$，对 $\forall\ 0<|x|<\delta$，有 $|x^3-0|<\delta^3=\varepsilon$，所以 $\displaystyle\lim_{x\to 0}x^3=0$．

(c) 此题需要估计 $x^3-8=(x-2)(x^2+2x+4)$ 的范围．当 $1<x<3$ 时，$x^2+2x+4<19$，再配合 $|x-2|$ 大小的任意性给出证明．

对 $\forall\ \varepsilon>0$，$\exists\ \delta=\min\{\displaystyle\frac{\varepsilon}{19},1\}$，对 $\forall\ 0<|x-2|<\delta$，有 $|x^3-8|=|x-2||x^2+2x+4|<\displaystyle\frac{\varepsilon}{19}\cdot 19=\varepsilon$，所以 $\displaystyle\lim_{x\to 2}x^3=8$．

(d) 对 $\forall\ \varepsilon>0$，取 $\delta=0.1$，对 $\forall\ 0<|x-\pi|<\delta$，$x\in (3,3.3)$，所以 $\left|[[x]]-3\right|=0<\varepsilon$，所以 $\displaystyle\lim_{x\to \pi}[[x]]=3$．

任何更小的 $\delta$ 是足够的．

考虑一个 $\delta$ 满足对 $\forall\ x\in V_\delta(c)$，$f(x)\in V_\varepsilon(L)$ 均成立，则由于对任意 $\delta_1<\delta$，$V_{\delta_1}(c)\subseteq V_\delta(c)$，所以对 $\forall\ x\in V_{\delta_1}(c)$ 也同样成立，所以任何更小的 $\delta$ 也将足够。

(a) 设 $f(x)=\displaystyle\frac{|x|}{x}$，考虑如下序列 $x_n=\displaystyle\frac{1}{n}$ 和 $y_n=-\displaystyle\frac{1}{n}$，则 $\displaystyle\lim_{n\to \infty}x_n=\displaystyle\lim_{n\to \infty}y_n=0$，但 $\displaystyle\lim_{n\to \infty}f(x_n)=1$，$\displaystyle\lim_{n\to \infty}f(y_n)=-1$，所以原极限不存在。

(b) 同理，令 $x_n=1+\displaystyle\frac{1}{n}$ 为有理数序列，$y_n=1+\displaystyle\frac{\sqrt{2}}{n}$ 为无理数序列，则 $\displaystyle\lim_{n\to \infty}g(x_n)=1$，$\displaystyle\lim_{n\to \infty}g(y_n)=0$，所以原极限不存在。

(a) $x_n=1+\displaystyle\frac{1}{n}$，$y_n=1-\displaystyle\frac{1}{n}$，$z_n=1+\displaystyle\frac{\sqrt{2}}{n}$。

(b) $\displaystyle\lim_{n\to \infty}t(x_n)=\displaystyle\lim_{n\to \infty}t(y_n)=\displaystyle\lim_{n\to \infty}\displaystyle\frac{1}{n}=0$，$\displaystyle\lim_{n\to \infty}t(z_n)=\displaystyle\lim_{n\to \infty}0=0$。

(c) $\displaystyle\lim_{x\to 1}t(x)=0$。

对 $\forall\ \varepsilon>0$，$\exists\ n\in \mathbb{N^+}$，使得 $\displaystyle\frac{1}{n}>\varepsilon$ 而 $\displaystyle\frac{1}{n+1}<\varepsilon$。所以，点集 $S=\{ x\in \mathbb{R}:t(x)\geq \varepsilon \}=\{x=\displaystyle\frac{p}{q}:p,q\in \mathbb{N^+},q \leq n,\gcd{(p,q)}=1\}$。因为该集合中任意两个点的距离至少为 $\displaystyle\frac{1}{n^2}$，所以该集合中的所有点都是孤立的。

又因为 $1\in S$，所以 $1$ 也是孤立的，因此一定存在 $\delta>0$，使得对于 $\forall\ x\in V_\delta(1)\setminus\{1\}$，都有 $t(x)<\varepsilon$，所以 $\displaystyle\lim_{x\to 1}t(x)=0$。

(a) 由海涅定理可知，对 $\forall\ x_n \neq c$，$\{x_n\}\rightarrow c$，都有 $f(x_n)\rightarrow L$，$g(x_n)\rightarrow M$，即 $(f(x_n)+g(x_n))\rightarrow L+M$，所以 $\displaystyle\lim_{x\to c}(f(x)+g(x))=L+M$。

(b) 对 $\forall\ \varepsilon>0$，$\exists\ \delta_1,\delta_2>0$，使得对 $\forall\ 0<|x-c|<\delta_1$，有 $|f(x)-L|<\displaystyle\frac{\varepsilon}{2}$，对 $\forall\ 0<|x-c|<\delta_2$，有 $|g(x)-M|<\displaystyle\frac{\varepsilon}{2}$。取 $\delta=\min\{\delta_1,\delta_2\}$，则对 $\forall\ 0<|x-c|<\delta$，有 $|f(x)+g(x)-(L+M)|\leq |f(x)-L| + |g(x)-M| <\displaystyle\frac{\varepsilon}{2}+\frac{\varepsilon}{2} = \varepsilon$。

所以 $\displaystyle\lim_{x\to c}(f(x)+g(x))=L+M$。

(c) (i) 由海涅定理可知，对 $\forall\ x_n \neq c$，$\{x_n\}\rightarrow c$，都有 $f(x_n)\rightarrow L$，$g(x_n)\rightarrow M$，即 $(f(x_n)g(x_n))\rightarrow LM$，所以 $\displaystyle\lim_{x\to c}(f(x)g(x))=LM$。

(ii) 对 $\forall\ \varepsilon>0$，$\exists\ \delta_1,\delta_2>0$，使得对 $\forall\ 0<|x-c|<\delta_1$，有 $|f(x)-L|<\displaystyle\frac{\varepsilon}{2|M|}<|L|$，对 $\forall\ 0<|x-c|<\delta_2$，有 $|g(x)-M|<\displaystyle\frac{\varepsilon}{4|L|}$。取 $\delta=\min\{\delta_1,\delta_2\}$，则对 $\forall\ 0<|x-c|<\delta$，有 $|f(x)g(x)-LM|\leq |f(x)||g(x)-M|+|f(x)-L||M|<2|L|\cdot \displaystyle\frac{\varepsilon}{4|L|}+\displaystyle\frac{\varepsilon}{2|M|}\cdot |M|=\varepsilon$。

所以 $\displaystyle\lim_{x\to c}(f(x)g(x))=LM$。

由 $\displaystyle\lim_{x\to c}g(x)=0$，对 $\forall\ \varepsilon>0$，$\exists\ \delta>0$，对 $\forall\ 0<|x-c|<\delta$，有 $|g(x)-0|<\displaystyle\frac{\varepsilon}{M}$，即 $|g(x)f(x)|<\displaystyle\frac{\varepsilon}{M}\cdot M=\varepsilon$，所以 $\displaystyle\lim_{x\to c}g(x)f(x)=0$。

(a) 对 $\forall\ M>0$，$\exists\ \delta>0$，使得对 $\forall\ 0<|x-c|<\delta$，都有 $f(x)>M$。

(b) 对 $\forall\ \varepsilon>0$，$\exists\ G>0$，使得对 $\forall\ |x|>G$，都有 $|f(x)-L|<\varepsilon$。

例如，取 $G=\displaystyle\frac{1}{\varepsilon}$，则对 $\forall\ |x|>G$，有 $\left|\displaystyle\frac{1}{x}-0\right|<\varepsilon$，所以 $\displaystyle\lim_{x\to \infty}\displaystyle\frac{1}{x}=0$。

(c) 对 $\forall\ M>0$，$\exists\ G>0$，对 $\forall\ |x|>G$，有 $f(x)>M$。
例如：$f(x)=x$。

对 $\forall\ \varepsilon>0$，$\exists\ \delta_1,\delta_2>0$，对 $\forall\ 0<|x-c|<\delta_1$，有 $|f(x)-\displaystyle\lim_{x\to c}f(x)|<\varepsilon\Rightarrow f(x)<\displaystyle\lim_{x\to c}f(x)+\varepsilon$，对 $\forall\ 0<|x-c|<\delta_2$，有 $|g(x)-\displaystyle\lim_{x\to c}g(x)|<\varepsilon\Rightarrow g(x)>\displaystyle\lim_{x\to c}g(x)-\varepsilon$。由 $f(x)\geq g(x)$ 可得

$$\displaystyle\lim_{x\to c}f(x)>\displaystyle\lim_{x\to c}g(x)-2\varepsilon.$$

这里由 $\varepsilon$ 的任意性就可知道 $\displaystyle\lim_{x\to c}f(x)$ 不能比 $\displaystyle\lim_{x\to c}g(x)$ 小，否则总会有一段空隙让 $\varepsilon$ 插入。

假设 $\displaystyle\lim_{x\to c}f(x)<\displaystyle\lim_{x\to c}g(x)$，则令 $\varepsilon=\displaystyle\frac{\displaystyle\lim_{x\to c}g(x)-\displaystyle\lim_{x\to c}f(x)}{2}>0$，代入上式可得 $\displaystyle\lim_{x\to c}f(x)>\displaystyle\lim_{x\to c}f(x)$，矛盾。

所以 $\displaystyle\lim_{x\to c}f(x)\geq \displaystyle\lim_{x\to c}g(x)$。

对 $\forall\ \varepsilon>0$，$\exists\ \delta_1,\delta_2>0$，使得对 $\forall\ 0<|x-c|<\delta_1$，有 $|f(x)-L|<\varepsilon$，对 $\forall\ 0<|x-c|<\delta_2$，有 $|h(x)-L|<\varepsilon$。取 $\delta=\min\{\delta_1,\delta_2\}$，则对 $\forall\ 0<|x-c|<\delta$，有 $L-\varepsilon<f(x)<L+\varepsilon$，$L-\varepsilon<h(x)<L+\varepsilon$。因为 $f(x)\leq g(x)\leq h(x)$，所以 $L-\varepsilon<g(x)<L+\varepsilon\Rightarrow |g(x)-L|<\varepsilon$，所以 $\displaystyle\lim_{x\to c}g(x)=L$。

---

习题 4.3 连续函数的运算

(a) 对 $\forall\ \varepsilon>0$，$\exists\ \delta=\varepsilon^3$，对 $\forall\ |x|<\delta$，$|\sqrt[3]{x}-\sqrt[3]{0}|<\varepsilon$，所以 $g$ 在 $0$ 处连续。

(b) 由恒等式，我们可得
$$|\sqrt[3]{x}-\sqrt[3]{c}|=\frac{|x-c|}{|\sqrt[3]{x^2}+\sqrt[3]{xc}+\sqrt[3]{c^2}|}$$
我们通过控制 $|x-c|$ 的大小来控制 $|\sqrt[3]{x}-\sqrt[3]{c}|$ 的大小，所以对 $\forall\ \varepsilon>0$，$\exists\ \delta=\min\{\sqrt[3]{c^2}\varepsilon,\left|\displaystyle\frac{c}{2}\right|\}$，使得对 $\forall\ |x-c|<\delta$，有 $xc>0$，所以这样就能将分母放缩，得到
$$|\sqrt[3]{x}-\sqrt[3]{c}|=\frac{|x-c|}{|\sqrt[3]{x^2}+\sqrt[3]{xc}+\sqrt[3]{c^2}|}<\displaystyle\frac{|x-c|}{\sqrt[3]{c^2}}<\displaystyle\frac{\sqrt[3]{c^2}\varepsilon}{\sqrt[3]{c^2}}<\varepsilon$$
所以 $g$ 在点 $c\neq 0$ 处连续。

(a) 若 $g$ 在 $f(c)$ 上连续，则对 $\forall\ \varepsilon>0$，$\exists\ \delta_1>0$，对 $\forall\ |y-f(c)|<\delta_1$，$|g(y)-g(f(c))|<\varepsilon$。

而对上述 $\delta_1>0$，$\exists\ \delta_2>0$，对 $\forall\ |x-c|<\delta_2$，$|f(x)-f(c)|<\delta_1$，此时 $|g(f(x))-g(f(c))|<\varepsilon$，所以 $g(f(x))$ 在 $c$ 处连续。

(b) 由题，对 $\forall\ \{x_n\}\rightarrow c$，$f(x_n)\rightarrow f(c)$。

又因为对 $\forall\ \{y_n\}\rightarrow f(c)$，$g(y_n)\rightarrow g(f(c))$，所以用 $f(x_n)$ 代替 $y_n$ 可得 $g(f(x_n))\rightarrow g(f(c))$。
所以 $g(f(x))$ 在 $c$ 处连续。

对 $\forall\ x_0\in \mathbb{R}$，我们有

对 $\forall\ \varepsilon>0$，$\exists\ \delta=\displaystyle\frac{\varepsilon}{a}$，对 $\forall\ |x-x_0|<\delta$，$|f(x)-f(x_0)|\leq|a||x-x_0|<\varepsilon$，所以 $f$ 对 $\forall\ x_0\in \mathbb{R}$ 都连续。

(a) 对 $\forall\ x_0\in \mathbb{Z}$，我们有
对 $\forall\ \varepsilon>0$，$\exists\ \delta=\displaystyle\frac{1}{2}$，对 $\forall\ |x-x_0|<\delta$，$x=x_0$，所以 $|f(x)-f(x_0)|=0<\varepsilon$，所以 $f$ 对 $\forall\ x_0\in \mathbb{Z}$ 都连续。

(b) 如果 $c$ 是 $A\subseteq \mathbb{R}$ 的孤立点，则总存在 $\delta>0$ 使得对任意 $\left|x-c\right|<\delta$，$x\in A$，$x=c$，则对 $\forall\ \varepsilon>0$，$\left|f(x)-f(c)\right|=0<\varepsilon$。

所以 $f:A\rightarrow \mathbb{R}$ 在 $c$ 处连续。

若 $g$ 在 $c$ 处连续，则取 $\varepsilon=\left|\displaystyle\frac{g(c)}{2}\right|$，$\exists\ \delta>0$，对 $\forall\ \left|x-c\right|<\delta$，$\left|g(x)-g(c)\right|<\varepsilon=\left|\displaystyle\frac{g(c)}{2}\right|\Rightarrow \left|g(x)\right|>\left|\displaystyle\frac{g(c)}{2}\right|>0$，所以在 $V_\delta(c)$ 区间上 $\displaystyle\frac{f(x)}{g(x)}$ 始终有定义。

(a) 对任意的 $c\in \mathbb{R}$，构造两个序列 $\left\{x_n\right\}\rightarrow c$，$\left\{y_n\right\}\rightarrow c$，其中 $x_n\in \mathbb{Q}$，$y_n\in \mathbb{R}\setminus\mathbb{Q}$。这样总有 $\displaystyle\lim_{n\to \infty}D(x_n)=0$，$\displaystyle\lim_{n\to \infty}D(y_n)=1$，由此可得其在 $\mathbb{R}$ 上处处不连续。

(b) 对任意的 $c\in \mathbb{Q}$，构造 $\left\{x_n\right\}\rightarrow c$，其中 $x_n\in \mathbb{R}\setminus\mathbb{Q}$，则 $\displaystyle\lim_{n\to \infty}t(x_n)=0\neq t(c)$，所以其在有理点上均不连续。

(c) 点集的性质在 练习 4.2.4 中已经证明过了。

设 $q\in \mathbb{N^+}$ 满足 $\displaystyle\frac{1}{q}\geq \varepsilon$，$\displaystyle\frac{1}{q+1}<\varepsilon$，则该点集中的点的分母都不会大于 $q$。考虑任意无理数 $x_0$ 的某一邻域 $V_\delta(x_0)$，可知对任意 $n\in \mathbb{N^+}$，$n\leq q$，使得 $\displaystyle\frac{p}{n}\in V_\delta(x_0)$，$\gcd(p,n)=1$ 的有理数是有限的，即在该邻域内点集的点是有限的。

于是取邻域内 $x_0$ 与点集所有点的距离的最小值 $\delta_1$，则对任意 $x\in V_{\delta_1}(x_0)$，$t(x)<\varepsilon$。因此 $\displaystyle\lim_{x\to x_0}t(x)=0=t(x_0)$，所以 $t(x)$ 在无理点上均连续。

如果 $K$ 中没有极限点则其为闭集。

如果 $K$ 中存在极限点 $x_0$，则对 $\forall\ \delta>0$，存在 $x\in K$ 且 $|x-x_0|<\delta$，$h(x)=0$。

因为 $h$ 在 $\mathbb{R}$ 上连续，所以对 $\forall\ \varepsilon>0$，$\exists\ \delta>0$ 使得对 $\forall\ |x-x_0|<\delta$，有 $|h(x)-h(x_0)|<\varepsilon$。而对这个 $\delta$，又 $\exists\ x_1\in K$ 且 $|x_1-x_0|<\delta$，$h(x_1)=0$，$\left|h(x_1)-h(x_0)\right|=\left|h(x_0)\right|<\varepsilon$，由 $\varepsilon$ 的任意性可得 $h(x_0)=0$，$x_0\in K$。

所以 $K$ 是闭集。

(a) 因为任何一个无理数都可以被有理数序列逼近，由连续性可得函数在无理数点上也为 0，所以其在 $\mathbb{R}$ 上恒等于 0。

(b) 不是，如果不连续，它们在无理点上可以随意定义。

连续的情况下则是的。令 $h(x)=f(x)-g(x)$，由 (a) 问可知 $h(x)\equiv 0$，因此 $f(x)\equiv g(x)$，它们是同一个函数。

(a) 对任意的 $x_0\in \mathbb{R}$，对 $\forall\ \varepsilon>0$，令 $\delta=\displaystyle\frac{\varepsilon}{c}$，则对任意 $|x-x_0|<\delta$，$\left|f(x)-f(x_0)\right|\leq c\left|x-x_0\right|<\varepsilon$，所以 $f$ 在 $\mathbb{R}$ 上连续。

(b) 对任意的 $n\in \mathbb{N^+}$，$\left|y_{n+1}-y_{n+2}\right|=|f(y_n)-f(y_{n+1})|\leq c|y_n-y_{n+1}|\leq c^n\left|y_1-y_2\right|$，

因为相邻两项之差之间也有比例关系，所以这里考虑用绝对值不等式拆开来放缩：

$$\begin{align*} |y_m-y_n|&\leq\displaystyle\sum_{j=m}^{n-1}|y_j-y_{j+1}| \\ &\leq \displaystyle\sum_{j=m}^{n-1}\left(c^{j-1}|y_1-y_2|\right) \\ &\leq |y_1-y_2|\displaystyle\sum_{j=m}^{n-1}c^{j-1} \\ &=\displaystyle\frac{|y_1-y_2|c^{m-1}(1-c^{n-m})}{1-c} \\ &\leq \frac{|y_1-y_2|c^{m-1}}{1-c}\\ \end{align*}$$

所以对 $\forall\ \varepsilon>0$，$\exists\ N>\displaystyle\frac{\ln\frac{(1-c)\varepsilon}{|y_1-y_2|}}{\ln c}+1$，对 $\forall\ n,m>N$，有 $|y_n-y_m|<\varepsilon$，所以 $\{y_n\}$ 是Cauchy序列。

(c) 由题意，对 $f$ 的不动点 $y$ 有 $\left|y_{n+1}-y\right|\leq c^n|y_1-y_2|$，所以对 $\forall\ \varepsilon>0$，$\exists\ N>\displaystyle\frac{\ln\frac{\varepsilon}{\left|y_1-y_2\right|}}{\ln c}+1$，对 $\forall\ n>N$ 有 $|y_n-y|<\varepsilon$，所以 $\displaystyle\lim_{n\to \infty}y_n=y$。

由极限的唯一性可知 $y$ 是唯一的。

由 (b) 中 $y_1$ 选取的任意性可知对任意 $x\in \mathbb{R}$，序列 $\{x,f(x),f(f(x)),\ldots\}$ 收敛到 $y$。

(a) 令 $x=y=0$ 可得 $f(0)=f(0)+f(0)$，所以 $f(0)=0$。

对 $\forall\ x\in \mathbb{R}$，有 $f(0)=f(x)+f(-x)$，所以 $f(x)=-f(-x)$。

(b) 对 $\forall\ \varepsilon>0$，$\exists\ \delta>0$，对 $\forall\ |x|<\delta$，$|f(x)|<\varepsilon$。
所以对 $\forall\ x_0\in \mathbb{R}$，对上述的 $\varepsilon>0$，$\exists\ \delta>0$，对 $\forall\ |x-x_0|<\delta$，有 $\left|f(x)-f(x_0)\right|=|f(x-x_0)|<\varepsilon$。

所以 $f$ 在 $\mathbb{R}$ 上任一点都连续。

(c) 对 $\forall\ n\in \mathbb{N^+}$，$f(n)=f(n-1)+f(1)=f(n-2)+2f(1)=\cdots=nf(1)=kn$。

对 $\forall\ z\in \mathbb{Z}$，若 $z>0$，$f(z)=kz$；若 $z=0$，$f(z)=0=k0$；若 $z<0$，$f(z)=-f(-z)=-k(-z)=kz$，所以 $f(z)=kz$ 总是成立。

同理可推，对 $\forall\ n\in \mathbb{Z}\setminus \left\{0\right\}$，$f(1)=nf\left(\displaystyle\frac{1}{n}\right)$，$f\left(\displaystyle\frac{1}{n}\right)=\displaystyle\frac{k}{n}$。

所以对任意有理数 $r=\displaystyle\frac{p}{q}$，$f(r)=f\left(\displaystyle\frac{p}{q}\right)=pf\left(\displaystyle\frac{1}{q}\right)=\displaystyle\frac{kp}{q}=kr$。

(d) 对 $\forall\ x_0\in \mathbb{R}$，由有理数的稠密性，总存在有理数序列 $\left\{q_n\right\}\rightarrow x_0$。

因为 $f$ 在 $x_0$ 连续，所以 $f(x_0)=\displaystyle\lim_{n\to \infty}f(q_n)=\displaystyle\lim_{n\to \infty}kq_n=kx_0$。

所以 $f(x)=kx$。

(a) $f(x)=\begin{cases}1 & \text{if } x\in \mathbb{Z}\\ 0 & \text{if }x\notin \mathbb{Z}\end{cases}$ 。

(b)
$$f(x)=\begin{cases} \displaystyle\frac{1}{2}-\left|x-\displaystyle\frac{1}{2}\right|&\text{if }x\in \mathbb{Q}\cap A\\ 0&\text{if }x\notin \mathbb{Q}\cap A \end{cases}$$

(c)
$$f(x)=\begin{cases} 0&\text{if }x\in A\cap \mathbb{Q}\\ 1&\text{if }x\in A\cap (\mathbb{R}\setminus \mathbb{Q})\\ 0&\text{if }x\notin A \end{cases}$$

(d)
$$f(x)=\begin{cases} x & \text{if }x\in A\\ 0 & \text{if }x\notin A \end{cases}$$

(a) 因为 $C$ 是完全非连通的，所以取 $\varepsilon=1$，对任意 $c\in C$，$\forall\ \delta>0$，$V_\delta(c)$ 中总存在 $x\notin C$，使得 $|g(x)-g(c)|=|0-1|=1\geq \varepsilon$，所以 $g$ 在 $c\in C$ 处不连续。

(b) 假设存在 $c_0 \notin C$ 使得 $g$ 在 $c_0$ 处不连续，则对任意 $\delta_n=\displaystyle\frac{1}{n}$，总存在 $x_n\in C$，$x_n\in V_{\delta_{n}}(c_0)$。这样就得到了一个序列 $\left\{x_n\right\}\rightarrow c_0$。因为 $C$ 是闭集，所以 $c_0\in C$，与假设矛盾。所以 $g$ 在每个 $c\notin C$ 处均连续。

---

习题 4.4 紧集上的连续函数

(a) 对 $\forall\ x_0\in \mathbb{R}$，$\forall\ \varepsilon>0$：

i. 若 $x_0=0$，则取 $\delta=\sqrt[3]{\varepsilon}$，当 $|x-0|<\delta$ 时，有 $|f(x)-f(0)|=|x^3-0|=|x|^3<\delta^3=\varepsilon$。

ii. 若 $x_0 \neq 0$，则令 $\delta<|x_0|$，那么 $\left|x-x_0\right|<\delta$ 可得 $x\cdot x_0>0$ 且 $|x|<2|x_0|$，再令 $\delta=\min\left\{\displaystyle\frac{\left|x_0\right|}{2}, \displaystyle\frac{\varepsilon}{7|x_0|^2}\right\}$ 可得

$$\left|f(x)-f(x_0)\right|=\left|(x-x_0)(x^2+xx_0+x_0^2)\right|<\displaystyle\frac{\varepsilon}{7|x_0|^2}\cdot 7|x_0|^2=\varepsilon.$$

所以 $f(x)=x^3$ 在整个 $\mathbb{R}$ 上连续。

(b) 令 $x_n=n+\displaystyle\frac{1}{n}$，$y_n=n-\displaystyle\frac{1}{n}$，则 $\displaystyle\lim_{n\to \infty}\left|x_n-y_n\right|=0$，但 $\left|f(x_n)-f(y_n)\right|=6n+\displaystyle\frac{2}{n^3}>1$，所以 $f$ 在 $\mathbb{R}$ 上不是一致连续的。

(c) 设 $A\subseteq \mathbb{R}$ 是有界集，则存在 $M>0$ 使得 $\forall\ x\in A$，$|x|<M$。对于 $\forall\ \varepsilon>0$，令 $\delta=\displaystyle\frac{\varepsilon}{3M^2}$，则对任意 $\left|x-y\right|<\delta$，
$$\left|f(x)-f(y)\right|\leq \left|x-y\right|\left|x^2+xy+y^2\right|<\displaystyle\frac{\varepsilon}{3M^2}\cdot 3M^2=\varepsilon.$$

所以 $f$ 在 $\mathbb{R}$ 的任何有界子集上是一致连续的。

(a) 不是。令 $x_n=\displaystyle\frac{1}{n}$，$y_n=\displaystyle\frac{1}{n+1}$，则 $\left|x_n-y_n\right|\rightarrow 0$，但 $\left|f(x_n)-f(y_n)\right|=1$。

(b) 是的。令 $\delta=\varepsilon$，则对 $\forall\ x,y\in (0,1)$ 且 $|x-y|<\delta$ 有

$$\begin{align*} \left|g(x)-g(y)\right|&=\left|\sqrt{x^2+1}-\sqrt[]{y^2+1}\right|=\displaystyle\frac{\left|x^2-y^2\right|}{\sqrt[]{x^2+1}+\sqrt[]{y^2+1}}<\displaystyle\frac{\left|x-y\right|\left|x+y\right|}{2}\\ &<\displaystyle\frac{\left|x-y\right|\cdot 2}{2}=\left|x-y\right|<\varepsilon. \end{align*}$$

(c) 拓宽定义域来证明一致连续性

令 $h_1(x)=\begin{cases} x\sin(1/x), & x\in (0,1]\\0, & x=0\end{cases}$

因为 $|x\sin(1/x)|\leq |x|$，由夹逼准则知 $\displaystyle\lim_{x\to \infty}h_1(x)=0$，所以 $h_1(x)$ 在 $[0,1]$ 上连续，由紧集上连续函数的性质可知 $h_1(x)$ 在 $[0,1]$ 上一致连续 $\Rightarrow$ $h_1(x)$ 在 $(0,1)$ 上一致连续。

又因为在 $(0,1)$ 上，$h(x)=h_1(x)$，所以 $h(x)$ 在 $(0,1)$ 上一致连续。

$x\in [1,+\infty)$ 时，$f(x)\leq 1$，所以对 $\forall\ \varepsilon>0$，令 $\delta=\displaystyle\frac{\varepsilon}{2}$，则对任意的 $x,y\in [1,+\infty)$，$|x-y|<\delta$，

$$\left|f(x)-f(y)\right|=\displaystyle\frac{|x-y||x+y|}{x^2y^2}\leq |x-y|\cdot |\displaystyle\frac{1}{xy^2}+\displaystyle\frac{1}{x^2y}|<\displaystyle\frac{\varepsilon}{2}\cdot 2=\varepsilon.$$

所以 $f(x)=1/x^2$ 在 $[1, \infty)$ 上是一致连续的。

当 $x_n=\displaystyle\frac{1}{n}$，$y_n=\displaystyle\frac{1}{n+1}$ 时，$\left|x_n-y_n\right|\rightarrow 0$，但 $\left|f(x_n)-f(y_n)\right|=2n+1>1$，所以 $f(x)=1/x^2$ 在 $(0, 1]$ 上不是一致连续的。

(a) 正确。由极值定理，$x_0\in [a,b]$ 使得对任意 $x\in [a,b]$ 有 $f(x_0)\leq f(x)$，且 $f(x_0)>0$，所以对任意 $x\in [a,b]$，$0<\displaystyle\frac{1}{f(x)}\leq \displaystyle\frac{1}{f(x_0)}$，即 $1/f$ 在 $[a,b]$ 上有界。

(b) 正确。$A$ 为有限集的情况下 $f(x)$ 显然是有界的。
对 $A$ 为无限集的情况使用反证法。假设 $f(A)$ 是无界的，则一定存在序列 $\left\{x_n\right\}\subseteq A$ 满足对 $\forall\ n\in \mathbb{N^+}$，$n<f(x_n)<f(x_{n+1})$。因为 $A$ 有界，所以 $\left\{x_n\right\}$ 也有界。由 Bolzano-Weierstrass 定理可知其有收敛子列 $\left\{x_{k_n}\right\}$。设 $\displaystyle\lim_{n\to \infty}x_{k_n}=x_0$, 则 $x_0$ 为 $A$ 的极限点。若 $x_0\in A$，则 $f(x_0)=\displaystyle\lim_{n\to \infty}f(x_{k_n})$，但 $f(x_{k_n})$ 是发散的，所以矛盾。

若 $x_0\notin A$，由一致连续性可知对 $\forall\ \varepsilon>0$，$\exists\ \delta>0$，当 $\left|x-y\right|<\delta$ 时，有 $\left|f(x)-f(y)\right|<\varepsilon$。对上述的 $\delta>0$，因为 $\displaystyle\lim_{n\to \infty}x_{k_n}=x_0$，所以存在 $N\in \mathbb{N^+}$，对任意的 $n>N$，有 $\left|x_{k_n}-x_0\right|<\displaystyle\frac{\delta}{2}$。因此对任意的 $m,n>N$，有 $\left|x_{k_n}-x_{k_m}\right|\leq |x_{k_n}-x_0|+|x_{k_m}-x_0|<\delta$，从而 $\left|f(x_{k_n})-f(x_{k_m})\right|<\varepsilon$，由 Cauchy 收敛准则可知 $\left\{f(x_{k_n})\right\}$ 是收敛的，这与 $f(x_{k_n})$ 发散矛盾。

综上，$f(A)$ 是有界的。

(c) 错误。考虑 Dirichlet 函数 $D(x)$，对任意集合 $A$，$D(A)$ 只可能是 $\varnothing,\left\{0\right\},\left\{1\right\},\left\{0,1\right\}$，均是紧集，但 $D(x)$ 在 $\mathbb{R}$ 上不连续。

因为 $g$ 在 $\left(a,b\right]$，$[b,c)$ 上都一致连续，所以对 $\forall\ \varepsilon>0$，$\exists\ \delta_1,\delta_2>0$，对 $\forall\ x,y\in (a,b]$，$|x-y|<\delta_1$ 有 $\left|g(x)-g(y)\right|<\varepsilon$，对 $\forall\ x,y\in [b,c)$，$|x-y|<\delta_2$ 有 $\left|g(x)-g(y)\right|<\varepsilon$。

令 $\delta=\min\left\{\delta_1,\delta_2\right\}$，则对 $\forall\ x,y\in (a,c)$，$|x-y|<\delta$，当 $x,y\in (a,b]$ 或 $x,y\in [b,c)$ 时，都有 $\left|g(x)-g(y)\right|<\varepsilon$；当 $x\in (a,b]$，$y\in [b,c)$ 时，$\left|g(x)-g(y)\right|\leq \left|g(x)-g(b)\right|+\left|g(y)-g(b)\right|<2\varepsilon$。

所以 $g$ 在 $(a,c)$ 上一致连续。

(a) 令 $f(x)=1/x$，$x_n=1/n$，则 $f(x_n)=n$ 不是柯西序列。

(b) 这是不可能的。若 $f$ 在 $(0,1)$ 上一致连续，则对 $\forall\ \varepsilon>0$，$\forall\ \delta>0$，对 $\forall\ \left|x-y\right|<\delta$，$\left|f(x)-f(y)\right|<\varepsilon$。现在，若 $\left\{x_n\right\}$ 是柯西序列，则对上述的 $\delta>0$，$\exists\ N\in \mathbb{N^+}$，对 $\forall\ m,n>N$，$\left|x_m-x_n\right|<\delta\Rightarrow \left|f(x_m)-f(x_n)\right|<\varepsilon$，这说明 $f(x_n)$ 也是柯西序列。

(c) 这是不可能的。因为 $[0,+\infty)$ 是闭集，所以 $\left\{x_n\right\}$ 的极限 $x_0\in [0,+\infty)$，由连续函数的性质可得 $\displaystyle\lim_{n\to \infty}f(x_n)=f(x_0)$，所以 $f(x_n)$ 是柯西序列。

$\left|\sqrt[]{x}-\sqrt[]{y}\right|=\displaystyle\frac{|x-y|}{\sqrt[]{x}+\sqrt[]{y}}$ 的分母在 $x,y$ 靠近 $0$ 时难以估计，但考虑到它们靠近 $0$ 时本身已足够小，故采用绝对值不等式对原式直接进行放缩。

对 $\forall\ \varepsilon>0$，$\exists\ \delta<\varepsilon^2$。则对 $\forall\ x,y\in \left[0,\displaystyle\frac{\varepsilon^2}{4}\right]$，$\left|\sqrt[]{x}-\sqrt[]{y}\right|\leq \sqrt[]{x}+\sqrt[]{y}\leq \varepsilon$。所以 $f$ 在 $\left[0,\displaystyle\frac{\varepsilon^2}{4}\right]$ 上一致连续。

同理，对 $\forall\ x,y\in \left[\displaystyle\frac{\varepsilon^2}{4},+\infty\right)$，$\left|\sqrt[]{x}-\sqrt[]{y}\right|=\displaystyle\frac{\left|x-y\right|}{\sqrt[]{x}+\sqrt[]{y}}\leq \displaystyle\frac{\left|x-y\right|}{\varepsilon}<\varepsilon$，所以 $f$ 在 $\left[\displaystyle\frac{\varepsilon^2}{4},+\infty\right)$ 上一致连续。

由 4.4.5，$f$ 在 $[0,+\infty)$ 上一致连续。

(a) 不可能。若其值域为 $(0,1)$，则必存在序列 $\left\{x_n\right\}\rightarrow x_0\in [0,1]$ 使得 $\left\{f(x_n)\right\}\rightarrow 1=f(x_0)$，$0$ 同理。即 $0,1$ 在 $f(x)$ 值域中。

(b) 可能。例如 $f(x)=|\sin\left(2\pi x\right)|$。

(c) 可能。关键是存在两个序列 $\left\{x_n\right\},\left\{y_n\right\}$ 均趋于 $0$，使得 $f(x_n)\rightarrow 0$，$f(y_n)\rightarrow 1$，这说明 $\displaystyle\lim_{x\to 0}f(x)$ 是不存在的。

令 $f(x)=\displaystyle\frac{1}{2}\left((1-x)\sin\displaystyle\frac{1}{x}+1\right)$。对于 $(1-x)\sin\displaystyle\frac{1}{x}$ 这部分，其在 $x\in (0,1]$ 的时候始终在 $(-1,1)$ 之间，于是 $f(x)$ 的值域一定在 $(0,1)$ 内部。其次，令 $x_n=\displaystyle\frac{1}{2\pi n-\displaystyle\frac{\pi}{2}}$，$y_n=\displaystyle\frac{1}{2\pi n+\displaystyle\frac{\pi}{2}}$ 可以满足我们之前提出的要求。由 $(0,1]$ 上的连续性，$f(x)$ 可以取遍 $0,1$ 间的所有数，所以 $f$ 的值域为 $(0,1)$。

(a) 对 $\forall\ \varepsilon>0$，令 $\delta=\displaystyle\frac{\varepsilon}{M}$，则对 $\forall\ x,y\in A$，$|x-y|<\delta$ 有 $\left|f(x)-f(y)\right|\leq M\left|x-y\right|<\varepsilon$，所以 $f$ 是一致连续的。

(b) 逆命题不成立。考虑构造一个斜率无界的一致连续函数，例如 $h(x)=x\sin \displaystyle\frac{1}{x}$，其在 $(0,1)$ 上一致连续，但考虑 $x_n=\displaystyle\frac{1}{2\pi n+\displaystyle\frac{\pi}{2}}$，$y_n=\displaystyle\frac{1}{2\pi n-\displaystyle\frac{\pi}{2}}$，则 $\left|\displaystyle\frac{f(x_n)-f(y_n)}{x_n-y_n}\right|=4n$，当 $n$ 增大时可以任意大，所以 $h(x)$ 不是利普希茨函数。

我们知道这些函数都是连续的，而证明它们一致连续的过程和证明它们连续的过程类似，下面进行讨论。

对于加法，对 $\forall\ \varepsilon>0$，$\exists\ \delta_1,\delta_2>0$，当 $\left|x-y\right|<\delta_1$ 时，有 $\left|f(x)-f(y)\right|<\displaystyle\frac{\varepsilon}{2}$，当 $\left|x-y\right|<\delta_2$ 时，有 $\left|g(x)-g(y)\right|<\displaystyle\frac{\varepsilon}{2}$。令 $\delta=\min\left\{\delta_1,\delta_2\right\}$，则当 $\left|x-y\right|<\delta$ 时，有

$$\left|(f(x)+g(x))-(f(y)+g(y))\right|\leq \left|f(x)-f(y)\right|+\left|g(x)-g(y)\right|<\varepsilon.$$

所以 $f(x)+g(x)$ 在 $A$ 上一致连续。

但在乘法上的情况则有区别。用与连续性证明同样的化简方式，可以得到 $\left|f(x)g(x)-f(y)g(y)\right|\leq\left|f(x)\right|\left|g(x)-g(y)\right|+\left|g(y)\right|\left|f(x)-f(y)\right|<\left(\left|f(x)\right|+\left|g(y)\right|\right)\varepsilon$。但与连续性证明不同的是，连续性证明中的 $f(x),f(y),g(x),g(y)$ 都是有界的（一个是常数，另一个被 $\delta$ 锁在了常数附近），而这里则不一定。事实上，若它们会任意大，则乘积很可能是不一致连续的。

例如 $f(x)=g(x)=x$，则 $f(x)g(x)=x^2$ 在 $\mathbb{R}$ 上不一致连续。

除法上的情况同理，令 $f(x)=\sqrt[]{x}$，$g(x)=x$，则 $f(x)/g(x)=\displaystyle\frac{1}{\sqrt[]{x}}$ 在 $(0,1)$ 上不一致连续。

最后考虑复合函数。对 $\forall\ \varepsilon>0$，$\exists\ \delta_1>0$，当 $\left|u-v\right|<\delta_1$ 时，有 $\left|f(u)-f(v)\right|<\varepsilon$。对上述 $\delta_1>0$，$\exists\ \delta_2>0$，当 $\left|x-y\right|<\delta_2$ 时，有 $\left|g(x)-g(y)\right|<\delta_1$，所以有 $\left|f(g(x))-f(g(y))\right|<\varepsilon$，所以 $f(g(x))$ 在 $A$ 上一致连续。

$\Rightarrow$ 设 $g(x)$ 在 $\mathbb{R}$ 上连续，对于任意开集 $O\subseteq\mathbb{R}$，若 $g(x_0)\in O$，则 $x_0\in g^{-1}(O)$，$\exists\ \varepsilon>0$ 使得 $V_\varepsilon(g(x_0))\subseteq O$．由 $g(x)$ 的连续性，$\exists\ \delta>0$，当 $\left|x-x_0\right|<\delta$ 时，有 $\left|g(x)-g(x_0)\right|<\varepsilon$，即 $g(x)\in V_\varepsilon(g(x_0))\subseteq O$，所以 $x\in g^{-1}(O)$。因此，$V_\delta(x_0)\subseteq g^{-1}(O)$。所以 $g^{-1}(O)$ 也是开集。

$\Leftarrow$ 若对任意开集 $O\subseteq \mathbb{R}$，$g^{-1}(O)$ 也是开集，则对 $\forall\ x_0\in g^{-1}(O)$，$\exists\ \delta>0$，$V_\delta(x_0) \subseteq g^{-1}(O)$。不妨令 $O=V_\varepsilon(g(x_0))$，则 $g(x_0)\in O$，所以对 $\forall\ x\in V_\delta(x_0)$，$g(x)\in O=V_\varepsilon(g(x_0))$。所以 $g$ 在 $\mathbb{R}$ 上连续。

(a) 错误。函数可能有多值对应单值，例如 $f(x)=c$，则 $\left\{c\right\}$ 是有限集，但 $f^{-1}(\left\{c\right\})=\mathbb{R}$。

(b) 错误，原因同上。

(c) 错误，原因同上。

(d) 正确。因为闭集的补集是开集，设 $F$ 是闭集，则 $F^c$ 是开集，由 4.4.11 可知 $f^{-1}(F^c)$ 是开集，所以 $\left(f^{-1}(F^c)\right)^c$ 是闭集。而 $x\notin f^{-1}(F^c)\Rightarrow f(x)\notin F^c\Rightarrow f(x)\in F \Rightarrow x\in f^{-1}(F)$，所以 $\left(f^{-1}(F^c)\right)^c=f^{-1}(F)$ 是闭集。

(a) 若 $f$ 一致连续，则对 $\forall\ \varepsilon>0$，$\exists\ \delta>0$，对 $\forall\ \left|x-y\right|<\delta$，$\left|f(x)-f(y)\right|<\varepsilon$。现在对上述 $\delta>0$，$\exists\ N\in \mathbb{N^+}$，对 $\forall\ m,n>N$，$\left|x_m-x_n\right|<\delta \rightarrow \left|f(x_m)-f(x_n)\right|<\varepsilon$。所以 $f(x_n)$ 是柯西序列。

(b) 这题的核心是：一致连续使得开区间端点的极限存在。

$\Rightarrow$ 若 $g$ 在 $(a,b)$ 上一致连续，则对任意序列 $\left\{x_n\right\}\rightarrow a$，$g(x_n)$ 是柯西序列，即 $\displaystyle\lim_{n\to \infty}g(x_n)$ 存在。所以 $\displaystyle\lim_{x\to a}g(x)$ 存在。同理 $\displaystyle\lim_{x\to b}g(x)$ 存在。定义 $g(a)=\displaystyle\lim_{x\to a}g(x)$，$g(b)=\displaystyle\lim_{x\to b}g(x)$，则 $g$ 在 $[a,b]$ 上连续。

$\Leftarrow$ 若可定义 $g(a),g(b)$ 使得 $g$ 在 $[a,b]$ 上连续，则由紧集上连续函数的性质可知 $g$ 在 $[a,b]$ 上一致连续，所以 $g$ 在 $(a,b)$ 上一致连续。

设 $f$ 是定义在紧集 $K$ 上的连续函数。则对 $\forall\ x\in K$，$\forall\ \varepsilon>0$，$\exists\ \delta_x>0$，对 $\forall\ \left|y-x\right|<\delta_x$，$\left|f(y)-f(x)\right|<\varepsilon$。

现在的想法是，从这些 $\delta_x$ 中找到一个最小的 $\delta_x$，使之满足所有选取的 $x\in K$，用有限覆盖定理来实现这一点。

考虑 $K$ 的开覆盖 $\left\{V_{\delta_x}(x) : x\in K\right\}$，由有限覆盖定理，存在 $x_1,x_2,\cdots,x_n\in K$，使得 $K\subseteq \displaystyle\bigcup_{i=1}^n V_{\delta_{x_i}}(x_i)$。令 $\delta=\min\left\{\delta_{x_1},\delta_{x_2},\ldots,\delta_{x_n}\right\}$。

从而对 $\forall\ \left|x-y\right|<\delta$，若 $x,y\in V_{\delta_{x_i}}(x_i)$，则 $\left|f(x)-f(x_i)\right|<\varepsilon$，$\left|f(y)-f(x_i)\right|<\varepsilon$，$\left|f(x)-f(y)\right|\leq \left|f(x)-f(x_i)\right|+\left|f(y)-f(x_i)\right|<2\varepsilon$。所以 $f$ 在任意的 $V_{\delta_{x_i}}(x_i)$ 上均一致连续。

现在考虑两个相邻区间 $V_{\delta_{x_i}}(x_i),V_{\delta_{x_j}}(x_j)$，因为全体开区间的并覆盖了 $K$，所以 $V_{\delta_{x_i}}(x_i)\cap V_{\delta_{x_j}}(x_j)\neq \varnothing$，设 $z\in V_{\delta_{x_i}}(x_i)\cap V_{\delta_{x_j}}(x_j)$，则可以把 $V_{\delta_{x_i}}(x_i)\cup V_{\delta_{x_j}}(x_j)$ 重新划分为 $(a,z]\cup [z,b)$，其中 $a,b$ 为左右端。因为中间的 $z$ 同属于两个区间，而 $a,b$ 都属于某个开区间，所以 $(a,z]$ 肯定包含于某个 $V_{\delta_{x_m}}(x_m)$，所以 $f$ 在 $(a,z]$ 上一致连续。同理 $f$ 在 $[z,b)$ 上一致连续。由 4.4.5 可知 $f$ 在 $(a,b)$ 即 $V_{\delta_{x_i}}(x_i)\cup V_{\delta_{x_j}}(x_j)$ 上一致连续。对所有开区间依次使用这个步骤，就能得到 $f$ 在 $K$ 上一致连续。

综上，在紧集 $K$ 上的连续函数 $f$ 在 $K$ 上一致连续。

【注】其实不需要考虑相邻区间的情况，因为开覆盖区间长度的选取是任意的，所以可以选取足够小的区间长度，让 $x,y$ 与区间端点差值的和小于 $\delta$，从而直接使用一致连续的定义即可。

例如，考虑 $K$ 的开覆盖 $\left\{V_{\frac{\delta_x}{2}}(x) : x\in K\right\}$，之后同理。则对任意的 $\left|x-y\right|<\delta$，若 $x\in V_{\frac{\delta_{x_0}}{2}}(x_0)$，则 $\left|x-x_0\right|<\displaystyle\frac{\delta_{x_0}}{2}$，$\left|y-x_0\right|\leq\left|y-x\right|+\left|x-x_0\right|<\delta_{x_0}$，所以 $\left|f(x)-f(y)\right|\leq \left|f(x)-f(x_0)\right|+\left|f(y)-f(x_0)\right|<2\varepsilon$，由此证得一致连续性。

---

习题 4.5 介值定理

因为 $[a,b]$ 是连通的，所以 $f([a,b])$ 也是连通的。所以对任意 $f(a)<L<f(b)$，$\exists\ c\in [a,b]$ 使得 $f(c)=L$。

(a) 可以的。考虑一个最值都不在端点上的连续函数即可，比如说定义在 $(0,1)$ 上的 $f(x)=\displaystyle\frac{1}{2}\left(\sin\displaystyle\frac{1}{x}+1\right)$，值域为 $[0,1]$。
(b) 不可能。闭区间是紧集，连续函数将紧集映射为紧集，而开区间不是紧集。
(c) 可以的。例如：$f(x)=\begin{cases} \displaystyle\frac{1}{x},\quad 0<x\leq 1\\ x,\quad x>1\end{cases}$，其值域为 $[1,+\infty)$。
(d) 不可能。$\mathbb{R}$ 是连通集，而 $\mathbb{Q}$ 不是连通集。

对 $\forall\ x_0\in [a,b]$：

若 $x_0\in (a,b)$，则 $f(a)\leq f(x_0)\leq f(b)$，对 $\forall\ \varepsilon>0$，由介值性，$\exists\ \delta>0$，使得 $V_\delta(x_0)\subseteq [a,b]$ 且 $f(x_0-\delta)>f(x_0)-\varepsilon$， $f(x_0+\delta)<f(x_0)+\varepsilon$。又由单调性，对 $\forall\ x\in V_\delta(x_0)$，$|f(x)-f(x_0)|<\varepsilon$，所以 $f$ 在 $x_0$ 处连续。

若 $x_0=a$，则同上，由介值性可得 $f(x_0+\delta)<f(x_0)+\varepsilon$，接下来同理证明。$x_0=b$ 的情况同理。

综上，$f$ 在 $[a,b]$ 上连续。

基本思路是：先找到一组 $f(a)=f(b)$，在 $[a,b]$ 间继续找其他的点。找一个与 $f(a)$ 不同的 $f(x_0)$，这样 $[a,x_0)$ 和 $(x_0,b]$ 中就能分别找到从 $f(x_0)$ 到 $f(a)$ 所有取值的点，而这些点是不可数的。

假设 $F$ 是非空的，则 $\exists\ a,b\in A$，$a<b$ 使得 $f(a)=f(b)$。我们首先有 $[a,b]\subseteq A$。

若对 $\forall\ x\in [a,b]$，$f(x)=f(a)$，则 $[a,b]\subseteq F$，$F$ 不可数。

若 $\exists\ c\in (a,b)$ 使得 $f(c)\neq f(a)$，不妨设 $f(c)<f(a)$。则由介值定理，对 $\forall\ x_1\in [a,c)$，$f(c)<f(x_1)\leq f(a)=f(b)$，总 $\exists\ x_2\in (c,b]$ 使得 $f(x_2)=f(x_1)$。所以 $x_1,x_2\in F$。

同理，对 $\forall\ x\in [a,b]$，$f(c)<f(x)\leq f(a)$ 都有 $x\in F$，而这样的 $x$ 是不可数的（考虑 $f(c)$ 与 $f(a)$ 间的取值有不可数个），所以 $F$ 不可数。

综上，$F$ 要么是空的，要么是不可数的。

我们考虑 $f(a)<f(b)$ 的情形。$f(a)>f(b)$ 的情况可以用类似的方法证明。

要证明的内容是：对 $\forall\ f(a)<L<f(b)$，$\exists\ c\in (a,b)$ 使得 $f(c)=L$。

(a) 令 $A=\left\{x\in [a,b]:f(x)<L\right\}$，则 $a\in A$ 且 $A$ 有上界 $b$，由完备性公理可得 $c=\sup A$ 存在。下证 $f(c)=L$。

由函数连续性，对 $\forall\ \varepsilon>0$，$\exists\ \delta>0$，对任意 $\left|x-c\right|<\delta$，$\left|f(x)-f(c)\right|<\varepsilon$。

若 $f(c)>L$，取 $\varepsilon=f(c)-L>0$，则对任意的 $\left|x-c\right|<\delta$，$f(x)>L$。因为 $c= \sup A$，所以 $\exists\ x_0>c-\delta$ 使得 $f(x_0)<L$，矛盾。

若 $f(c)<L$，取 $\varepsilon=L-f(c)>0$，则对任意的 $\left|x-c\right|<\delta$，$f(x)<L$。所以 $\exists\ x_0=c+\displaystyle\frac{\delta}{2}>c$，$f(x_0)<L$，这与 $c=\sup A$ 矛盾。

综上，$f(c)=L$。

(b) 令 $a_1=a$，$b_1=b$。

取 $\displaystyle\frac{a+b}{2}$。若 $f\left(\displaystyle\frac{a+b}{2}\right)<L$，则令 $a_2=\displaystyle\frac{a+b}{2}$，$b_2=b$；否则令 $a_2=a$，$b_2=\displaystyle\frac{a+b}{2}$。

取 $\displaystyle\frac{a_2+b_2}{2}$。若 $f\left(\displaystyle\frac{a_2+b_2}{2}\right)<L$，则令 $a_3=\displaystyle\frac{a_2+b_2}{2}$，$b_3=b_2$；否则令 $a_3=a_2$，$b_3=\displaystyle\frac{a_2+b_2}{2}$。

一直操作，我们可以得到闭区间套 $\left\{I_n\right\}=\left\{[a_n,b_n]\right\}$。由闭区间套定理，存在唯一的 $c\in [a_n,b_n]$ 对任意 $n\in \mathbb{N^+}$ 成立。此时 $c=\displaystyle\lim_{n\to \infty}a_n=\displaystyle\lim_{n\to \infty}b_n$。

因为 $f(a_n)<L$，$f(b_n)\geq L$，所以 $\displaystyle\lim_{n\to \infty}(a_n)\leq L$， $\displaystyle\lim_{n\to \infty}(b_n)\geq L$。

由连续函数的性质，$f(c)=\displaystyle\lim_{n\to \infty}f(a_n)=\displaystyle\lim_{n\to \infty}f(b_n)=L$。

(a) 令 $g(x)=f(x)-f\left(x+\displaystyle\frac{1}{2}\right)$，则 $g$ 在 $\left[0,\displaystyle\frac{1}{2}\right]$ 上连续，且 $g(0)=f(0)-f\left(\displaystyle\frac{1}{2}\right)$，$g\left(\displaystyle\frac{1}{2}\right)=f\left(\displaystyle\frac{1}{2}\right)-f(1)=-g(0)$。

若 $g(0)=0$，则 $f(0)=f\left(\displaystyle\frac{1}{2}\right)$。

若 $g(0)\neq 0$，则 $g(0)$ 和 $g\left(\displaystyle\frac{1}{2}\right)$ 必然异号，由介值定理，$\exists\ x_0\in \left(0,\displaystyle\frac{1}{2}\right)$ 使得 $g(x_0)=f(x_0)-f\left(x_0+\displaystyle\frac{1}{2}\right)=0$，即 $f(x_0)=f\left(x_0+\displaystyle\frac{1}{2}\right)$。

综上，总能找到 $x,y\in [0,1]$ 使得 $|x-y|=\displaystyle\frac{1}{2}$ 且 $f(x)=f(y)$。

(b) 同上，构造 $g_1(x)=f(x)-f\left(x+\displaystyle\frac{1}{n}\right)$，则同理可得

$$\begin{align*} \displaystyle\sum_{i=0}^{n-1}g_1\left(\displaystyle\frac{i}{n}\right)&=f(0)-f\left(\displaystyle\frac{1}{n}\right)+ f\left(\displaystyle\frac{1}{n}\right)-f\left(\displaystyle\frac{2}{n}\right)+\cdots+f\left(\displaystyle\frac{n-1}{n}\right)-f(1)\\ &=f(0)-f(1)\\ &=0 \end{align*}$$

若存在一个 $i$ 使得 $g_1\left(\displaystyle\frac{i}{n}\right)=f\left(\displaystyle\frac{i}{n}\right)-f\left(\displaystyle\frac{i+1}{n}\right)$=0，则成立。

若不存在上面的 $i$，则必存在 $i_1,i_2\in [0,n-1]$ 使得 $g_1\left(\displaystyle\frac{i_1}{n}\right)g_1\left(\displaystyle\frac{i_2}{n}\right)<0$，由介值定理，$\exists\ x_0\in \left(\displaystyle\frac{i_1}{n},\displaystyle\frac{i_2}{n}\right)$，使得 $g_1(x_0)=0$ 即 $f(x_0)=f\left(x_0+\displaystyle\frac{1}{n}\right)$，从而得证。

综上，对 $\forall\ n\in \mathbb{N^+}$，都能找到 $x_n,y_n\in [0,1]$ 使得 $|x_n-y_n|=\displaystyle\frac{1}{n}$ 且 $f(x_n)=f(y_n)$。

(c) 对这一论断的初步理解是，不形如 $\displaystyle\frac{1}{n}$ 的长度可能无法完全分割原区间，从而产生遗漏情况。这个时候 $g_2(x)=f(x)-f\left(x+\displaystyle\frac{2}{5}\right)$ 就不是先前那样用上一段的结束点和下一段的开始点作比较了，这样就无法用 $f(0)=f(1)$ 来控制大小，从而 $g_2(x)=0$ 的解可能不存在。

我们不妨看看能不能构造 $g_2(x)$ 恒大于 $0$ 的情况。

如果 $g_2(x)>0$，则 $f(0)>f\left(\displaystyle\frac{2}{5}\right)$，$f\left(\displaystyle\frac{3}{5}\right)>f(1)=f(0)$，函数不能是单调的。如果 $f$ 的趋势是 $0$ 减到 $\displaystyle\frac{2}{5}$ 增到 $\displaystyle\frac{3}{5}$ 减到 $1$，那可能有矛盾，因为 $f\left(\displaystyle\frac{1}{5}\right)>f\left(\displaystyle\frac{3}{5}\right)$，当然还有 $f\left(\displaystyle\frac{2}{5}\right)>f\left(\displaystyle\frac{4}{5}\right)$。所以这个连续函数的图像大致如下：

可以看到，因为 $\displaystyle\frac{2}{5}$ 长度的区间分割无法完全无重复覆盖整个定义域，所以这为中间锯齿状的波动提供了可能。

（一个小细节是我把每两个对应段的斜率都设置成相同的了，这样就能保证前面始终大于后面，甚至 $g_2(x)$ 还是一个定值。）

令 $g(x)=f(x)-x$，则 $g$ 在 $[0,1]$ 上连续，且 $g(0)=f(0)-0\geq 0$，$g(1)=f(1)-1\leq 0$。

若 $g(0)=0$ 或 $g(1)=0$，则成立。

若 $g(0)>0$ 且 $g(1)<0$，则由介值定理，$\exists\ c\in (0,1)$ 使得 $g(c)=0$，即 $f(c)=c$。

综上，至少有一个 $x\in [0,1]$ 使得 $f(x)=x$。

我的第一想法是这样的：因为 $[a,b]$ 是紧集，所以 $f$ 在 $[a,b]$ 上是一致连续的。那么对 $\forall\ |x-y|<\delta$ 就能有 $\left|f(x)-f(y)\right|<\varepsilon$。现在考虑一个问题，这两个式子的顺序能不能反过来？

如果只有连续是不行的，有可能两个相距很远的自变量得到的函数值会相近，但一对一的情况则可以限制（实际上也只有一对一才能产生反函数）。

根据这一点我们来写出证明。假设 $\exists\ \delta>0$，对 $\forall\ \varepsilon>0$，总存在 $x,y$，使得 $\left|f(x)-f(y)\right|<\varepsilon$ 但是 $|x-y|\geq \delta$。

对 $\forall\ n\in \mathbb{N^+}$，分别令 $\varepsilon_n=\displaystyle\frac{1}{n}$，则存在对应的 $x_n,y_n$，满足上述情况。

之后的证明和前面一致连续性定理的证明类似。由 Bolzano-Weierstrass 定理，$\left\{x_n\right\},\left\{y_n\right\}$ 分别有收敛子列 $\left\{x_{n_k}\right\},\left\{y_{n_k}\right\}$，设其极限分别为 $x_0,y_0$。那么我们可以得出 $f(x_0)=f(y_0)$ 但是 $x_0\neq y_0$，这与 $f$ 一对一矛盾。

所以 上述的假设不成立。即对 $\forall\ \varepsilon>0$，$\exists\ \delta>0$，当 $\left|f(x)-f(y)\right|<\delta$ 时，$|x-y|<\varepsilon$。

这样就证明了 $f^{-1}$ 是一致连续的，自然就是连续的了。

---

习题 4.6 不连续点集

给定一个函数 $f : \mathbb{R} \rightarrow \mathbb{R}$ ，定义 ${D}_{f} \subseteq \mathbb{R}$ 为函数 $f$ 不连续的点集。在第4.1节中，我们看到Dirichlet函数 $g\left( x\right)$ 有 ${D}_{g} = \mathbb{R}$ 。Dirichlet函数的修改 $h\left( x\right)$ 有 ${D}_{h} = \mathbb{R} \smallsetminus \{ 0\}$ ，$0$ 是唯一的连续点。最后，对于Thomae函数 $t\left( x\right)$ ，我们看到 ${D}_{t} = \mathbb{Q}$ 。

(a) 在整数上构造间断点。

$$f(x)=\begin{cases} 0,\quad \text{if }x\notin \mathbb{Z}\\ 1,\quad \text{if }x\in \mathbb{Z} \end{cases}$$

(b) 在 $(0,1]$ 上使用 Dirichlet 函数的变体。

$$f(x)=\begin{cases} 0,\quad \text{if }x\notin (0,1]\\ x,\quad \text{if }x\in (0,1]\cap \mathbb{Q}\\ 0,\quad \text{if }x\in (0,1]\setminus \mathbb{Q} \end{cases}$$

---

我们在引言部分以一个关于 ${D}_{f}$ 是否可以取任意实数子集形式的问题作为结尾。事实证明，情况并非如此。在 $\mathbb{R}$ 上定义的实值函数的间断点集具有特定的拓扑结构，这种结构并非 $\mathbb{R}$ 的每个子集都具备。具体来说，无论 $f$ 如何选择， ${D}_{f}$ 总可以表示为闭集的可数并。当 $f$ 是单调函数时，这些闭集可以取为单点集。

单调函数

对于任意 $f$ 分类 ${D}_{f}$ 较为复杂。然而对于单调函数类，描述 ${D}_{f}$ 却相当直接。这是很有趣的事实。

称函数 $f : A \rightarrow \mathbb{R}$ 在 $A$ 上单调递增，如果 $x < y\Rightarrow f\left( x\right) \leq f\left( y\right)$ ；在 $A$ 上单调递减，如果 $x < y\Rightarrow f\left( x\right) \geq f\left( y\right)$ 。单调函数是指要么递增要么递减的函数。

函数 $f$ 在点 $c$ 处的连续性意味着 $\mathop{\lim }\limits_{{x \rightarrow c}}f\left( x\right) = f\left( c\right)$ 。一种特定的制造不连续性发生的方式是，使得 $c$ 处的右极限与 $c$ 处的左极限不同。与所有新术语一样，我们需要精确地定义“从左”和“从右”的含义。

给定集合 $A$ 的极限点 $c$ 和函数 $f : A \rightarrow \mathbb{R}$ ，称 $f(x)$ 在 $c$ 处的右极限为 $L$，若 $\forall \varepsilon > 0$ ， $\exists \delta > 0$ ，使得每当 $0 < x - c < \delta$ 时， $\left| {f\left( x\right) - L}\right| < \varepsilon$ 成立。记作
$$\mathop{\lim }\limits_{{x \rightarrow {c}^{ + }}}f\left( x\right) = L$$

等价地，用序列表示。如果对于所有满足 ${x}_{n} > c$ 和 $\lim \left( {x}_{n}\right) = c$ 的序列 $\left( {x}_{n}\right)$ ， $\lim f\left( {x}_{n}\right) = L$ 成立，则 $\mathop{\lim }\limits_{{x \rightarrow {c}^{ + }}}f\left( x\right) = L$ 成立。

同理：

给定集合 $A$ 的极限点 $c$ 和函数 $f : A \rightarrow \mathbb{R}$，称 $f(x)$ 在 $c$ 处的左极限为 $L$，若 $\forall \varepsilon > 0$，$\exists \delta > 0$，使得每当 $0 < c - x < \delta$ 时，$\left| f(x) - L \right| < \varepsilon$ 成立。记作
$$\mathop{\lim }\limits_{{x \rightarrow {c}^{-}}} f(x) = L.$$

等价地，用序列表示。如果对于所有满足 ${x}_{n} < c$ 和 $\lim \left( {x}_{n} \right) = c$ 的序列 $\left( {x}_{n} \right)$，$\lim f\left( {x}_{n} \right) = L$ 成立，则 $\mathop{\lim }\limits_{{x \rightarrow {c}^{-}}} f(x) = L$ 成立。

给定 $f : A\rightarrow \mathbb{R}$ 和 $A$ 的极限点 $c$，$\mathop{\lim }\limits_{{x \rightarrow c}}f\left( x\right) = L$ 当且仅当

$$\mathop{\lim }\limits_{{x \rightarrow {c}^{ + }}}f\left( x\right) = L\;\text{ and }\;\mathop{\lim }\limits_{{x \rightarrow {c}^{-}}}f\left( x\right) = L.$$

必要性：设 $\lim_{x \to c} f(x) = L$，则对任意 $\varepsilon > 0$，存在 $\delta > 0$，使得当 $x \in A$ 且 $0 < |x - c| < \delta$ 时，$|f(x) - L| < \varepsilon$。特别地：当 $c < x < c + \delta$ 时，右极限 $|f(x) - L| < \varepsilon$，故 $\lim_{x \to c^+} f(x) = L$；当 $c - \delta < x < c$ 时，左极限 $|f(x) - L| < \varepsilon$，故 $\lim_{x \to c^-} f(x) = L$。

充分性：设 $\lim_{x \to c^+} f(x) = L$ 且 $\lim_{x \to c^-} f(x) = L$。对任意 $\varepsilon > 0$：存在 $\delta_1 > 0$，使得当 $x \in A$ 且 $c < x < c + \delta_1$ 时，$|f(x) - L| < \varepsilon$；存在 $\delta_2 > 0$，使得当 $x \in A$ 且 $c - \delta_2 < x < c$ 时，$|f(x) - L| < \varepsilon$。

取 $\delta = \min\{\delta_1, \delta_2\}$，则当 $x \in A$ 且 $0 < |x - c| < \delta$ 时，无论 $x > c$ 或 $x < c$，均有 $|f(x) - L| < \varepsilon$，故 $\lim_{x \to c} f(x) = L$。

因此，原极限存在的充要条件是左右极限均存在且等于 $L$。

一般来说，不连续性可以分为三类:

如果 $\mathop{\lim }\limits_{{x \rightarrow c}}f\left( x\right)$ 存在但其值与 $f\left( c\right)$ 不同，则在 $c$ 处的不连续性称为可去的。

如果 $\mathop{\lim }\limits_{{x \rightarrow {c}^{ + }}}f\left( x\right) \neq \mathop{\lim }\limits_{{x \rightarrow {c}^{ - }}}f\left( x\right)$ ，则 $f$ 在 $c$ 处有一个跳跃不连续性。

如果由于其他原因 $\mathop{\lim }\limits_{{x \rightarrow c}}f\left( x\right)$ 不存在，那么在 $c$ 处的不连续性称为本质不连续性。

我们现在已经准备好描述任意单调函数 $f$ 的集合 ${D}_{f}$ 的特征。

对任意的 $c\in \mathbb{R}$，令 $E=\left\{f(x):x>c\right\}$，则由 $f$ 单调递增，对 $\forall\ f(x)\in E$，$f(x)\geq f(c)$。这说明 $E$ 非空有下界。由完备性公理，$\inf E$ 存在，记为 $L$，下证 $L=\displaystyle\lim_{x\to c^+}f(x)$。

因为 $L=\inf E$，所以对 $\forall\ \varepsilon>0$，存在 $f(x_0)\in E$，使得 $L\leq f(x_0)<L+\varepsilon$。由 $f$ 单调递增，令 $\delta=x_0-c>0$，则对 $\forall\ 0<x-c<\delta$，$0\leq f(x)-L<\varepsilon$，所以 $\displaystyle\lim_{x\to c^+}f(x)=L$，即 $\displaystyle\lim_{x\to c^+}f(x)$ 存在。

同理可得 $\displaystyle\lim_{x\to c^-}f(x)$ 存在。所以单调函数唯一可能具有的不连续类型是跳跃不连续性。

由 $f$ 的单调性，对任意一个间断点 $c$，都有 $\displaystyle\lim_{x\to c^-}f(x)<\displaystyle\lim_{x\to c^+}f(x)$，所以可以找到一个有理数 $c_1\in (\displaystyle\lim_{x\to c^-}f(x),\displaystyle\lim_{x\to c^+}f(x))$。 又因为单调性，所以对 $\forall\ x< c$，$f(x)\leq \displaystyle\lim_{x\to c^-}f(x)<c_1$，$x>c$ 的情况同理。所以这样就可以构建从 $c$ 到 $c_1$ 一一对应的映射即双射。因为有理数集是可数的，所以 $D_f$ 必然是有限的或可数的。

---

任意函数的 ${D}_{f}$

回想一下，无限个闭集的交集是闭的，但对于并集，我们必须限制为有限个闭集的并集，以确保并集是闭的。对于开集，情况则相反。任意个开集的并集是开的，但只有有限个开集的交集才必然是开的。

一个可以写成可数个闭集并集的集合属于 ${F}_{\sigma }$ 类。(此定义也出现在第3.5节中。)

到目前为止，我们已经构造了不连续点集为 $\mathbb{R}$ (Dirichlet函数)、 $\mathbb{R} \smallsetminus \{ 0\}$ (修正Dirichlet函数)、 $\mathbb{Q}$ (Thomae函数)、 $\mathbb{Z}$ 和 $(0,1\rbrack$ (习题4.6.1)的函数。

$\mathbb{R}$ 本身是一个闭集，所以它是一个 ${F}_{\sigma }$ 集。

$\mathbb{R}\setminus\left\{0\right\}=\displaystyle\bigcup_{n=1}^{\infty}\left((-\infty,\displaystyle-\frac{1}{n}]\cup[\displaystyle\frac{1}{n},+\infty)\right)$，所以它是一个 ${F}_{\sigma }$ 集。

$\mathbb{Q}=\displaystyle\bigcup_{n=1}^\infty\left\{q_n\right\}$，其中 $\left\{q_n\right\}$ 是有理数的某个排列，所以它是一个 ${F}_{\sigma }$ 集。

$\mathbb{Z}$ 是全体整数的并集，自然也是 $F_\sigma$ 集。

最后，$(0,1]=\displaystyle\bigcup_{n=1}^\infty \left[\frac{1}{n},1\right]$，所以它是一个 ${F}_{\sigma }$ 集。

---

即将进行的论证依赖于一个称为 $\alpha$ -连续性的概念。

设 $f$ 定义在 $\mathbb{R}$ 上，且令 $\alpha > 0$ 。函数 $f$ 在 $x \in \mathbb{R}$ 处是 $\alpha$ -连续的，如果存在一个 $\delta > 0$ ，使得对于所有 $y,z \in \left( {x - \delta ,x + \delta }\right)$ ，都有 $\left| {f\left( y\right) - f\left( z\right) }\right| < \alpha$ 。

关于这个定义，最重要的是要注意在 $\alpha > 0$ 前面没有“对于所有”。正如我们将要探讨的，添加这个量词会使这个定义等同于我们对连续性的定义。从某种意义上说， $\alpha$ -连续性是对函数在特定点附近变化的度量。如果存在一个以 $c$ 为中心的区间，在该区间内函数的变化从未超过值 $\alpha > 0$ ，则函数在点 $c$ 处是 $\alpha$ -连续的。

给定 $\mathbb{R}$ 上的函数 $f$ ，定义 ${D}_{\alpha }$ 为函数 $f$ 不满足 $\alpha$ -连续的点集。换句话说，

$${D}_{\alpha } = \{ x \in \mathbb{R} : f \text{ 在 } x \text{ 处不 } \alpha\text{-连续} \} .$$

我们需要证明 $D_\alpha$ 的任何极限点 $x_0$ 都在该集合内。

若 $D_\alpha$ 没有极限点，则其只有孤立点，故为闭集。

若 $x_0\in D_\alpha$ 是其极限点，则存在序列 $\left\{x_n\right\}\subseteq D_\alpha$ 满足 $\left\{x_n\right\}\rightarrow x_0$。

则对 $\forall\ \delta>0$，$\exists\ n\in \mathbb{N^+}$ 使得 $x_n\in V_\delta(x_0)$。

因为 $f$ 在 $x_n$ 处不 $\alpha$ - 连续，所以对任意的 $\varepsilon>0$， $\exists\ y,z\in V_\varepsilon(x_n)$ 满足 $\left|f(y)-f(z)\right|\geq \alpha$。

现在令 $\varepsilon<\delta-\left|x_0-x_n\right|$ 以满足 $V_\varepsilon(x_n)\subseteq V_\varepsilon(x_0)$，则 $\exists\ y,z\in V_\varepsilon(x_0)$，$\left|f(y)-f(z)\right|\geq \alpha$。

所以 $f$ 在 $x_0$ 处不 $\alpha$ - 连续，即 $x_0\in D_\alpha$。

综上，$D_\alpha$ 是闭集。

---

舞台已搭好。是时候刻画任意函数 $f$ 在 $\mathbb{R}$ 上的不连续点集了。

设 $f : \mathbb{R} \rightarrow \mathbb{R}$ 为任意函数。则 ${D}_{f}$ 是一个 ${F}_{\sigma }$ 集。

回忆

$${D}_{f} = \{ x \in \mathbb{R} : f \text{ is not continuous at } x\} .$$

对 $\forall\ x\in D_{\alpha_2}$，对任意 $\delta>0$，$\exists\ y,z\in V_\delta(x)$ 使得 $\left|f(y)-f(z)\right|\geq \alpha_2>\alpha_1$，所以 $x\in D_{\alpha_1}$。所以${D}_{{\alpha }_{2}} \subseteq {D}_{{\alpha }_{1}}$ 。

若 $f$ 在 $x$ 处连续，则对 $\forall\ \varepsilon>0$，$\exists\ \delta>0$，使得对 $\forall\ y\in V_\delta(x)$，$\left|f(y)-f(x)\right|<\varepsilon$。现在取 $\varepsilon=\displaystyle\frac{\alpha}{2}$，则对 $\forall\ y,z\in V_\delta(x)$，都有

$$\left|f(y)-f(z)\right|\leq\left|f(y)-f(x)\right|+\left|f(z)-f(x)\right|\leq2\varepsilon=\alpha$$

所以 $f$ 在 $x$ 处 $\alpha$ - 连续。

这个命题的逆否命题是若 $f$ 在 $x$ 处不 $\alpha$ - 连续，则 $f$ 在 $x$ 处不连续。所以 ${D}_{\alpha } \subseteq {D}_{f}$ 。

若 $f$ 在 $x$ 处不连续，则 $\exists\ \varepsilon_0>0$，对 $\forall\ \delta>0$ 都 $\exists\ y\in V_\delta(x)$ 使得 $\left|f(y)-f(x)\right|\geq \varepsilon_0$。

因为 $x\in V_\delta(x)$，所以取 $\alpha=\varepsilon_0$ 就得到 $f$ 在 $x$ 处不 $\alpha$ - 连续。

现在对 $\forall\ x\in D_f$，$f$ 在 $x$ 处不连续，所以 $\exists\ \alpha>0$ 使得 $f$ 在 $x$ 处不 $\alpha$ - 连续。又存在 $n\in \mathbb{N^+}$，使得 $\displaystyle\frac{1}{n}<\alpha$，则由练习 4.6.8 可知 $x\in D_{\frac{1}{n}}$。所以 $x\in \displaystyle\bigcup_{n=1}^\infty D_{\frac{1}{n}}$。

又因为每个不 $\alpha$ - 连续点都是不连续点，所以对 $\forall\ x\in \displaystyle\bigcup_{n=1}^\infty D_{\frac{1}{n}}$，也有 $x\in D_f$。

所以 $D_f=\displaystyle\bigcup_{n=1}^\infty D_{\frac{1}{n}}$。因为 $D_{\frac{1}{n}}$ 都是闭集，所以 $D_f$ 是一个 ${F}_{\sigma }$ 集。

---

习题 4.7 结语

定理4.6.6只有在能够证明并非 $\mathbb{R}$ 的每个子集都属于 ${F}_{\sigma }$ 集时才有意义。这需要一些努力，并且作为练习包含在关于 Baire 定理的第3.5节中。Baire 定理指出，如果 $\mathbb{R}$ 被写成闭集的可数并集，那么这些闭集中至少有一个必须包含一个非空开区间。现在 $\mathbb{Q}$ 是单点集的可数并集，我们可以将每个点视为一个显然不包含任何区间的闭集。如果无理数集 $\mathbb{R}\setminus\mathbb{Q}$ 是闭集的可数并集，那么这些闭集中没有一个可以包含任何开区间，否则它们将包含一些有理数。但这与Baire定理相矛盾。因此， $\mathbb{R}\setminus\mathbb{Q}$ 不是闭集的可数并集，从而它也不是 ${F}_{\sigma }$ 集。因此，我们可以得出结论，不存在在每一个有理点连续且在每一个无理点间断的函数 $f$ 。这应与之前讨论的Thomae函数进行比较。

相反的问题也很有趣。给定一个任意的 ${F}_{\sigma }$ 集合，W.H. Young 在1903年证明了总可以构造一个函数，使其不连续点恰好位于该集合上。他的构造涉及我们之前见过的相同的Dirichlet型定义，但显然更为复杂。相比之下，描述单调情况下的相应函数并不太困难。设

$$D = \left\{ {{x}_{1},{x}_{2},{x}_{3},{x}_{4},\ldots }\right\}$$

为任意可数的实数集合。为了构造一个不连续点恰好位于 $D$ 上的单调函数，直观上为每个点 ${x}_{n} \in D$ 附加一个 $1/{2}^{n}$ 的“权重”。现在，定义

$$f\left( x\right) = \mathop{\sum }\limits_{{n : {x}_{n} < x}}\frac{1}{{2}^{n}}$$

其中对于每个 $x \in \mathbb{R}$ ，求和应涵盖所有对应于 $x$ 左侧点的权重。(如果 $D$ 中没有点在 $x$ 的左侧，则设置 $f\left( x\right) = 0$ 。)任何关于求和顺序的担忧都可以通过观察到收敛是绝对的来缓解。不难证明，所得函数 $f$ 是单调的，并且在 $D$ 中的每个点 ${x}_{n}$ 处具有大小为 $1/{2}^{n}$ 的跳跃间断，如预期(练习6.4.8)。

---